chapter 2 Ex 2.3 Elementary basics before Ex 2.3